more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 9514

[filed under theme 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL ]

Full Idea

If we say that A and B are 'interderivable' from one another (that is, A |- B and B |- A), then we may write A -||- B.

Gist of Idea

If A and B are 'interderivable' from one another we may write A -||- B

Source

E.J. Lemmon (Beginning Logic [1965], 1.5)

Book Ref

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.34